<?php
	/**
	* @package ParkFind
	* @desc This php file logs out the user. Unsetting user variables.
	*/
	session_start();
		
	unset($_SESSION["user_id"]);
	unset($_SESSION["role"]);
	unset($_SESSION["firstname"]);
	unset($_SESSION["lastviewed"]);
	
	header("Location: logoutreceipt.php");

?>